amsopn.dtx

---